invariant domain

不变畴